We should remove ./ when using 7-zip for zip files

Maybe the zip utility trims them down, but 7-zip keeps them.

As a result, files are called ./something instead of just something.