WINDOWS-SPECIFIC HACK TO RUN DOT!