make-windows-release: allow extra configure args on command line