Remove Foq installation weirdness