Work around Travis error in @scheidan PR