Fixed a bug with the setting of options on startup.
Pushed sglib version