I believe that bin/check_modules.pl should be the only file in the directory webwork2/bin which should be 
submitted in this pull request.  The other bin/    scripts all contain local changes.