random() is available on Linux, too.