box64: no-manual-page