Add php_verdep.h