Don't force a .bat extension for scripts under Windows.