Please wait until I am finished working on it. This is not a bug that can be easily reproduced. Andreas. -- Andreas Schwab, schwab at redhat.com GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E "And now for something completely different."