Add stdint.h include and use angle brackets for PHP headers