removed ugly INT32_MIN define (included limits.h) and updated the copyright
undefined printf functions in knc-i1x16.h