Fix PHP version