Some strange file got lost in the previous commit.