Fix info command when PHP_BINARY is not defined.