Remove seemingly useless file