build.py: drop obsolete main()