Update: I just tried this again, on a completely fresh system. The same issue. Is it that I don't understand something? Why is the old version used rather than the updated one?
Check the box next to "Show verbose output during: > compilation
Click "OK"
File > New
Sketch > Verify/Compile
After the compilation finishes, click on the black console window at the bottom of the Arduino IDE window.
Press Ctrl+A to select all the text.
Press Ctrl+C to copy the selected text to the clipboard.
In a forum reply here, click on the reply field.
Click the </> button on the forum toolbar. This will add the forum's code tags markup to your reply.
Press "Ctrl + V". This will paste the compilation output between the code tags.
Move the cursor outside of the code tags before you add any additional text to your reply.
If the length of the output exceeds the forum's 9000 character limit, save it in a .txt file and post it here as an attachment. If you click the "Reply" button you'll see the "Attachments and other options" link.