Workaround for Travis issue #2885