Any reason why this file is special? We do <php.h> everywhere else