1 Title: Generating selection id is hopefully now compatible to more systems
8 The default mechanism to get a selection id is to generate a UUID by reading
9 the contents of the file /proc/sys/kernel/random/uuid. This might be not
10 existing on some special systems. So we use the uuid python module as