make dots.py executable