Testing build bot after migration

This PR can be closed once the build bot built it successfully.