update to randlib-1.3

I have no idea why, but apparently all the static variables became
non-static somewhere during the initial import of this file.