Delete this file, since it's not used