Fixing broken Travis build