This rectifies an oversight in commit 4dc63552, which caused certain
builds to fail, especially on Windows.