Moving output files using os.rename() does not work cross filesystems
save_output in the kat
run function, the output files are moved using
os.rename() in respectively finesse.py#L2395 and finesse.py#L2411. That fails in case the src and dest are on different filesystems which is very common since the src is in the /tmp directory.
(Note that according to https://stackoverflow.com/a/43967659
shutil.move() would be a good replacement for python3 only. I've tried
shutil.move() on two linux systems, one with 2.7.5 one with 2.7.17 and both seem to work fine which also matches the documentation https://docs.python.org/2.7/library/shutil.html#shutil.move).