fix http://svn.planet-lab.org/changeset/11139 : extensions were not building