Backward compatibility: add a script to convert config file from 0.0.10 to 0.0.11