made the linux build script take an argument for zip compression level - using zip -r9 rather than zip -r0 is slower but saves a good few megabytes