../config.planetlab/devel.pkgs