add stdint.h. fix printf fmt

fixes for gcc-4.8 && clang-3.3