* (bug 10387) Detect and handle '.php5' extension environments at install time