use /etc/planetlab/ for plc specific config info.