experimental workaround for boost linker problems w random_device