The bug I ran into was https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212649 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212649 which turned out to be

The bug I ran into was https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212649 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212649 which turned out to be an other symptom of https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212576 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=212576.