Fixing --live-config.utc=no; adding polymake