Recently I've started to see the following message every time I invoke
ptxdist:

/usr/local/lib/ptxdist-2014.10.0/bin/ptxdist: line 2151: unset:
`BASH_FUNC_set_shell_label()': not a valid identifier

The ptxdist code here has:
    unset $(/usr/bin/env | \
        sed -n -e "s/^\([^=[:space:]]\+\)=.*$/\1/p" | \
        egrep -v
"^(PTXDIST_PTXRC|PTX_AUTOBUILD_DESTDIR|CCACHE_.*|PWD|HOME|USER|PATH|TERM|COLUMNS|LINES|DISPLAY|TMPDIR|http_proxy|https_proxy|ftp_proxy|no_proxy${whitelist})$"
)

I'm not sure why I'm getting this message, but speculatively it seems to
have started appearing after I updated Ubuntu-14.04 with bash shellshock
patches... ?

Anyone else see this type of message?

Jon