Fix jar filename in batch file