removes spurious file pushed in cc585c8