added support for a command line option --nolib to avoid loading the default libraries