Bug: phpenv shell not found on the ubuntu
Include commited from @Milly