bootcd-GITPATH := git://git.planet-lab.org/bootcd.git@bootcd-5.2-4
sliceimage-GITPATH := git://git.planet-lab.org/sliceimage.git@sliceimage-5.1-8
nodeimage-GITPATH := git://git.planet-lab.org/nodeimage.git@nodeimage-5.2-3
-myplc-GITPATH := git://git.planet-lab.org/myplc.git@myplc-5.3-2
+myplc-GITPATH := git://git.planet-lab.org/myplc.git@myplc-5.3-3
# locating the right test directory - see make tests_gitpath
tests-GITPATH := git://git.planet-lab.org/tests.git@tests-5.3-8