fix compile on linux; missing stdint.h