corrects the name in the header
[brisk.git] / bin /
drwxr-xr-x   ..
-rwxr-xr-x 1157 getdep.sh
-rwxr-xr-x 2339 preload.sh