removed a superfluous file