Both Andrei and Daniel are right.
By default, mysql.so is not compiled and installed. If mysql.so is configured to loaded
and mysql.so is not found in the library, a " bad config file" error will appear
when ser is started. I did not see this error because I installed ser0.8.10 before and the
obsolete mysql.so existed in the library.