Substitute @old_glibc_headers@.