There seems to be absolutely no need for any third party software.
I have followed the instructions here, and I successfully shrank my OS partition in about 10 minutes. Running under Windows 10, but I doubt it makes a difference here.
The steps are:
1. Disable hibernation.
At a an elevated (admin) command prompt, run the command
powercfg /h off
2. Disable pagefile.
Open the System page in Control Panel (from “This PC”/“My computer”, open the Properties). Click “Advanced System Settings”, then in the “System Properties” dialog's “Advanced” tab, open the “Performance” settings, go to the “Advanced” tab, click “Change...” under “Virtual memory”, untick “Automatically manage paging file size for all drives”, select the drive you want to shrink, select “No paging file” and click the “Set” button.
3. Disable system protection.
In the “System Properties” dialog as above, go to the “System Protection” tab, click “Configure...” and select “Disable system protection”.
Restart.
Now the three files that were preventing partition reduction are gone. Reduce partition size, and then restore the three items.