Another workaround for default Travis CI configuration issue