float: fix broken MirBSD header