ghcjs: don't use extension for haddock override