ehb: fix argc/argv
Merge branch 'master' of https://github.com/JelleZijlstra/EH

Conflicts:
	ehb/ehb.eh