pixtools.py can use other filenames