smlpkg
smlpkg copied to clipboard
fix unzip command and properly clean up temp files
If unzip is compiled with -DWILD_STOP_AT_DIR, the * wildcard does not match the dir separator, so subdirectories are not extracted.