Make it work even if bash is not in /bin/
treee447805f37ed51a14226f015cbb6614106007a47
-rwxr-xr-x 7 .gitattributes
-rwxr-xr-x 35147 COPYING
-rwxr-xr-x 449 compile
drwxr-xr-x - doc
drwxr-xr-x - system
drwxr-xr-x - system_book
-rwxr-xr-x 113280 texnicard.w
drwxr-xr-x - util
-rwxr-xr-x 286 vcslist