add and use internal header for *rand48 lcg