Add `setmfact' to config.h