fixing php version