Minor change in build file to make things work under Windows