Re: [OpenBIOS] [PATCH] unix: fix openbios-unix build