removed prepress option when building the manual since it reliably crashes texlive...