gauche no longer needs helper libraries