fix some filenames in comments, add shebangs