Add more debugging of phpenv