regenerate pdf on OSX

(no warning about multiply defined labels)