Proposal to fix build
Build seems to fail (nowadays?) so I tried fixing it.
I am not sure if this is an actually useful fix, neither do I know whether proposing fixes to archived repos make sense, but I thught if both are appropritate it may help :)