Add some bash functions that can be included in other scripts