All binary files should be considered and only those matching the names of the object files from GDB should be used. The logic around that area needs improving and, possibly a more comprehensive testing