Use POSIX paths in skool2html.py's disassembly-building output