the name has changed to libfac.h, so these lines should go back in.