Fix phpenv option