workaround gcc 4.5 and 4.6 <random> bug