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.