Well, doing the update 2013 pdf reader update did not do anything. As far as I can tell, the old 12.12.12 reader is active, with the two-point margin tool and no odd-even manual setting tool.
Edit: found it, please ignore above comment; sorry about that.