Fixed (I hope) Travis config