Fix issue #7 (usage of stdint.h types)