realname "BeOS" os_type beos install_root /boot/beos header_dir ../develop/headers lib_dir system/lib doc_dir documentation all ia32 ppc haiku