remove our stdint.h version that uses boost and force usage of system stdint.h