Fix gauche info command

Because I use ubuntu package now.