updated portable.profile and gitlib/pulllib.bash