Update to new Glk 0.7.2 code