Fix licensing, also make the unzipping quieter, so that license error messages are easier to see in the log.