(small patch) bugfix in default config file
(small patch) bugfix in default config file

directory for nums.cma was wrong

darcs-hash:20080101151755-1b86b-7499adb464be76d77be28d975a9539973057a8da

mfp/ocsigenserver,mfp/ocsigenserver