Fix containers using GNU-specific install -t

Tested "by hand" as coq.inria.fr/pylon is down