just for information: it fails here, on the usage of `Install` which is `Poly1`