let otherlibraries = "unix str num dynlink bigarray systhreads threads graph dbm labltk"