bash: add source_if_exists function