fix for older gauche