buildall.pl in library section obsolete
lose Library/checkall.pl: migrated into Library/Makefile