Don't know if this will cause problems on windows, better change it
anyway.