fix multiple-include-of-stdint errors