default doctestEq is now loaded from compiled code (#63)