options 8 and 9 of phc -f now export factorization in double double and quad double precision