util.py: Add more global variables and handle symbolic better in copy_file()