I had a backup on my external SD card for just this type of emergency. However, trying to restore my old library to my PE doesn't work. The PE reports the backup belongs to another device.