one last round of updates from MirBSD, won’t affect Debian