Otherwise this fails on windows (cherry picked from commit a5414370)
mentioned in merge request !18 (merged)