Fixing the php version for drush