quick fix for jsch synchronization problem