interpreter now dies correctly on EOF