Index: ps/trunk/binaries/data/mods/public/gui/credits/texts/programming.json
===================================================================
--- ps/trunk/binaries/data/mods/public/gui/credits/texts/programming.json
+++ ps/trunk/binaries/data/mods/public/gui/credits/texts/programming.json
@@ -38,6 +38,7 @@
 				{ "nick": "ArnH", "name": "Arno Hemelhof" },
 				{ "nick": "Aurium", "name": "Aurélio Heckert" },
 				{ "nick": "azayrahmad", "name": "Aziz Rahmad" },
+				{ "nick": "baco", "name": "Dionisio E Alonso" },
 				{ "nick": "badmadblacksad", "name": "Martin F" },
 				{ "nick": "badosu", "name": "Amadeus Folego" },
 				{ "nick": "bb", "name": "Bouke Jansen" },
Index: ps/trunk/build/workspaces/update-workspaces.sh
===================================================================
--- ps/trunk/build/workspaces/update-workspaces.sh
+++ ps/trunk/build/workspaces/update-workspaces.sh
@@ -93,7 +93,7 @@
   (cd ../../libraries/source/fcollada && MAKE=${MAKE} JOBS=${JOBS} ./build.sh) || die "FCollada build failed"
   echo
   if [ "$with_system_mozjs" = "false" ]; then
-    (cd ../../libraries/source/spidermonkey && MAKE=${MAKE} JOBS=${JOBS} ./build.sh) || die "SpiderMonkey build failed"
+    (cd ../../libraries/source/spidermonkey && MAKE=${MAKE} JOBS=${JOBS} PYTHONNOUSERSITE=true ./build.sh) || die "SpiderMonkey build failed"
   fi
   echo
   if [ "$with_system_nvtt" = "false" ] && [ "$without_nvtt" = "false" ]; then