Message in #192 is correct.
For 64bit-GM-version 15.23-20140606 both patches do NOT work.
Patched installation not yet tested.
For 32bit-GM-version 15.23-20140606 patch does work.
Does anybody know a working patch for 64bit-GM-version 15.23-20140606?