do not unexport functions for bash set -a, update #2872