FreeBSD 11 supports robust process-shared POSIX mutexes, but requires them to be explicitly destroyed before munmap