Oops. I think I meant to split this file instead of removing it. I'll push another commit which fixes that.