Rename HorseSYN.py to HorseSYN-linux.py