Allow specifying path to PHP executable; Fix #1