Okay, thanks for debugging that. I've removed those two files from the repository. I guess they're not in .gitignore. I usually run "make clean" before commits.