frotz: Update (fix issue #18).