travis: diff PHP_BIN added