//printf("finishing play %s.\n", filename);