Fix dockerfile for travis build #123

Closed michbil closed 7 years ago