Removed a file that should not be here anyway.