port to extensible-effects 1.5
don't fail on 7.8.2 due to extensible-effects