* #3: rebuilding dev0.exe added in build.py for avoiding problems with symbol and object file changes and for self testing; dev0.exe removed from repository.