follow change in ghcjs-base