Modified to be compliant with commit in rev 673 - 'Renamed to be compatible with standard GNU naming'
Modified to be compliant with commit in rev 673 - 'Renamed to be compatible with standard GNU naming'

Safety0ff/QuesoGLC,Safety0ff/QuesoGLC,Safety0ff/QuesoGLC