sane bash options and header snippet