bugfix: handle wallclock milliseconds correctly in order to get different random numbers in successive calls, fixes #75
bugfix: handle wallclock milliseconds correctly in order to get different random numbers in successive calls, fixes #75

RRZE-HPC/GHOST,RRZE-HPC/GHOST,RRZE-HPC/GHOST,RRZE-HPC/GHOST