This file shouldn't exist, since it was generated and not used.