Thx HolyWu, I failed to compile under gcc.
Library & codec:
https://www.sendspace.com/file/3qr77g
Hmm. Perhaps the developers have improved something for 4K. I know one thing, to have 12bit you need to have a professional editor and handling of mov containers. For avi there is only 8bit. The codec is 15 years or more and editors haven't had the pressure to add Cineform to 10 / 12bit movies.
Color space in Sony Vegas for 8bit movies are distorted. So I prefer to use RGB uncompresed than Cineform.