put synctool release 5.3 on the web site