removed yet another extraneous file