Fix the use of 'skool2html.py -V' by mksktarball and mkskpkg