Yeah, if the filename is different, even if it has the same class defined inside it, it’s not considered the same include as the filename is the index against which the already included files are stored.
Good call -- fixed (although I haven’t got it sending mail yet). Strangely, I was also using require_once. I think I read somewhere that PHP sometimes has trouble honoring require_once when the path is different.