Workaround needed for happy dependency for 7.8.1