Removing Oberon non-ascii header