Fix Travis build again (finally)