Change lib to AjaXplorerSynchro_lib for easier integration into already
deployed application.