Changes to support SyncTeX.