Only build PDF when the user wants to, even on Windows.