Thanks for this fix! I ended up fixing it in another (less effective) way though.
I created a 142 gb (that’s the amount of space that was available in Windows) dummy file, transfered that to the vita and then deleted the file through vitashell. :’)
Now there is still 1 gb of system use though...