Fix to work with current ghcjs-base