W^X violation when attempting to run the REPL on OpenBSD

[Kaiepi]

Steps to Reproduce

Run $ idris on OpenBSD -current.

Expected Behavior

The REPL should start.

Observed Behavior

An internal error is produced:

bastille% idris
     ____    __     _
    /  _/___/ /____(_)____
    / // __  / ___/ / ___/     Version 1.3.2
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
 /___/\__,_/_/  /_/____/       Type :? for help

Idris is free software with ABSOLUTELY NO WARRANTY.
For details type :warranty.
idris: internal error: setExecutable: failed to protect 0x0x228d92000

    (GHC version 8.6.4 for x86_64_unknown_openbsd)
    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
zsh: abort (core dumped)  idris

This happens regardless of what IDRIS_CC is set to. Compiling programs seems to work OK.

[Kaiepi]

This seems to be a W^X violation. Enabling wxallowed on /home allows the REPL to run for me.