instl 0.9.12.
Merge branch 'shai'
instl 0.9.12 is official