fix Random 123 include path and missing headers