Temporary fix to get working with GHC 7.6.2