Remove unused integer file belonging to an old animation