fix allow-external with pip