Make sure to update the config for Travis-CI