Two trivial cleanups.
Further trivial cleanups, including chmod -x for some python library files that were not executable.