Removed now useless file.