Revert "Rename build.py to Bla.de"

This reverts commit 1cfa6f32bb7043a6a8990512f37543ad4490f2c2.
I just didn't want to do that, it was an accident that happened when
trying out the github GUI...