Remove obsolete debug #include file from factor.cpp.