Changes the current PHP version