Merged ethuebung.sty from guicompiler branch.