remove a few tokens for ctangle (and fix a reallocation bug while at it)
-rwxr-xr-x 854 build.cross
-rwxr-xr-x 1821 build.sh
drwxr-xr-x - src