Explicitely define php version for Travis auto deploy