use full bash to support extended shell options