Don't call the make shell script since it doesn't call the right make program on Windows.