must not require bash. many people with ubuntu use dash by default. not a good idea to force them to switch