handled github #6

now works on 1.9.3
Merge branch 'master' of github.com:bwl21/ZSUPP_Proo-lib