Correct windows build filename yet again