devices.xml no longer necessary; deleted.