renderGhcOptions should accept GHCJS as well