python: mimify script