diff --git a/.gitattributes b/.gitattributes
index d011b8f53c2b6be5833050a71a3f70200212eacb..4c0dae0bbf2863173b0a3aca28eb323341746259 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -4,6 +4,7 @@
 /get-peasoup-packages.sh -text
 /irdb_vars -text
 /postgres_setup.sh -text
+/set_command_envs -text
 /set_env_vars -text
 /start_dev.sh -text
 /svn.externals.uva_dev -text
diff --git a/set_command_envs b/set_command_envs
new file mode 100644
index 0000000000000000000000000000000000000000..fd3f6fda9ac7834aa8ab69fbd4f281dd9f28e31b
--- /dev/null
+++ b/set_command_envs
@@ -0,0 +1,2 @@
+export PS_OBJDUMP=`which objdump`
+export PS_OBJCOPY=`which objcopy`
diff --git a/set_env_vars b/set_env_vars
index 78cc990cdb8e2d3a9013026e2c7a4d3ba6d4d8a7..a2fed2e5870f83972310f7d44ddd2e2c912041b1 100644
--- a/set_env_vars
+++ b/set_env_vars
@@ -36,4 +36,5 @@ export SCONSFLAGS="exceptions=1 x86=1 tool=1 hprof=0 cpuprof=0 lm_required=false
 # adjust to your SVN username
 #export SVN_USERNAME=$USER
 
-export PS_OBJDUMP=`which objdump`
+. $PEASOUP_UMBRELLA_DIR/set_command_envs
+