fixed problem in travis build. Why do I need this?!