os_type unix install_root /boot header_dir develop/headers lib_dir system/lib doc_dir system/documentation gettimeofday gmtime_r getsid beos