various utils (mostly bash/python)