[PATCH] #9863: don't export target $PROFILE into postgresql