Turns out we don't need this file, after all