fix missing variable from the mirage 4.01 compiler
add github update
Merge pull request #290 from mirage/master

github update