[PATCH, v3] Potential solution to librt issue.

[Paolo Carlini]

> Ok for trunk.

Many, many thanks to both of you! Later today I will take care of applying locally, regtesting again and committing.

Thanks again,
Paolo.