fixed ext/date for php_int_t usage