Make travis build a bit more quiet