fixes to get prelude working under Windows