Put PHP version as default rather than constant