
See the official bug tracker here:

    https://gforge.inria.fr/tracker/?atid=6979&group_id=1874&func=browse
