os_type beos install_root /boot/beos header_dir ../develop/headers lib_dir system/lib doc_dir documentation gettimeofday haiku