public PathsSection()
{
var http_context = HttpContext.Current;
// default paths, used when the configuration does not set its own:
string current_app_dir;
try { current_app_dir = (http_context != null) ? http_context.Server.MapPath("/bin") : "."; } // this can throw on Mono
catch (InvalidOperationException) { current_app_dir = "bin"; }
libraries = /*manager =*/ natives = wrappers = typeDefs = new FullPath(current_app_dir);
string dynamic_path = (http_context != null) ? current_app_dir : Path.GetTempPath();
dynamicWrappers = new FullPath(dynamic_path);
}