correctly set our default php version