A python script that fixes some annoyances with extracting archives