stuff for udid2 generation
permit to customize default user from a new option in the ./configure