Orca 1.1.2 released

Mainly, this fixes some issues with release update. In fact you need to to reinstall ORCA from older versions. Have fun!