attempt to find appropriate PHP CLI