bash: adjust PATH so that local executables come before system ones in $PATH