ghcjs: clean up