Updated the PlanetLab extensions.