Fix for non GHCJS compilers