This fixes up commit 6cc88c3d Thanks to Markus Mäkelä for reporting the build failure.
Attach a file by drag & drop or click to upload