Log Message: Undo lang/php/ext.mk's hijacking of DISTINFO_FILE. XXX: should be fixed properly in the php logic