SyncTex finally works