Stop repeated rebuilds on Travis

Just checking the Travis build; please don't merge yet!