Add -DPORTABLE when running the docs, helps on GHC 7.2