Add workaround for Travis problem