update shebang line to work on knuth