Trying to fix build problem at Travis