set the right version of PHP for Composer