Fix non-eunit compilation error