have I to actually remove all build/ files and ../configure again? or is this file really missing?