Rename MPRNG.h to mprng.h