ghcjs: regenerate extension