fixed TravisCI recipe (hopefully for good)