Try fixing travis build again...