It seems this library was commented on Feb 18th because there are no 3801. Though even if the function are not used in the crl because clr3801flg will be equal to 0, since the function are still mentioned in the crl in case we add them back we have to load the 3801 library.
I was able to start a run. It seems it is triggering on the 1024 Hz clock. You can give it a try.