Some handy python scripts