bootstrapfs-GITPATH := git://git.planet-lab.org/bootstrapfs.git@bootstrapfs-2.0-13
myplc-GITPATH := git://git.planet-lab.org/myplc.git@myplc-5.0-19
# locating the right test directory - see make tests_gitpath
-tests-GITPATH := git://git.planet-lab.org/tests.git@tests-5.0-34
+tests-GITPATH := git://git.planet-lab.org/tests.git@tests-5.0-35