removed last digits from php version, so we can upgrade versions easier