sfa-GITPATH := git://git.planet-lab.org/sfa.git@master myslice-GITPATH := git://git.onelab.eu/myslice.git@onelab manifold-GITPATH := git://git.onelab.eu/manifold.git@devel