Use realpath of setup_linux.py script