Fix the use of 'skool2html.py -V' by disassembly-diff and write-files