Do not try to fetch lablGL with cvs (the server has been rather unstable recently)