Add script GRMLBASE/37-portmap to work around bug in #317358