As requested by SourceForge Community Manager, tboot just finished upgrade
from classic sourceforge platform to the new platform.
As the result of this upgrade, one major change is that the source code
repository URL got changed to:
Please do a fresh checkout using the new repository location.