configure.ml: access to $OS