added utf-8 shebangs to make python 2.7 happy