Rename pdf's so that they make sense as names on device, too.