reporting: compile with synctex option