Workaround for a long-standing bug in evil