Allow nonstandard allocators in random.hpp