bin/synctex: some loggin