Workaround for Travis