I found the reason for the difference in the generated cache files: the __unused field wasn't initialized. I changed this now and the produced cache files are identical. -- ---------------. ,-. 1325 Chesapeake Terrace Ulrich Drepper \ ,-------------------' \ Sunnyvale, CA 94089 USA Red Hat `--' drepper at redhat.com `------------------------