Oh, I figured that a cleaner/easier change would be to change the configure code to look for these files in the source directory. But I'm not sure I really care.