FIX build configuration in Travis