make php binary configurable