diff --git a/doc/Build.txt b/doc/Build.txt
index 20558fe5133f0bb56de511bd7a3ec63f1bf0e571..50f9b62e67103ad837aed32b1afbc8211a8ecfab 100644
--- a/doc/Build.txt
+++ b/doc/Build.txt
@@ -45,17 +45,10 @@ portaudio
 Go to `tools/` and run:
 
 -------------------------
-./portaudio.sh
+./portaudio.sh --prefix=/usr
 su -c "cd portaudio && make install"
-cd bindings/cpp
-./configure --prefix=/usr
-make clean
-make
-sudo make install
 -------------------------
 
-The `make clean` is required. We might investigate (or could you ?)
-the reason for that sometime.
 
 
 the daemon
@@ -91,6 +84,6 @@ sudo make install
 -------------------------
 
 You'll find `gnome-autogen.sh` in some `gnome-common`-like package of
-your distribution. You can also replace it by a call to: `autoreconf
---install`.
+your distribution. You can also replace it by a call to:
+`autoreconf --install`.
 
diff --git a/tools/portaudio.sh b/tools/portaudio.sh
index a56e0e0c35cfe0d97b6d7e0b2377eae0549a5d50..e359da311f9065c7d963cde9fe8de8eaae99a813 100755
--- a/tools/portaudio.sh
+++ b/tools/portaudio.sh
@@ -2,7 +2,7 @@
 PORTAUDIO_SOURCE=http://portaudio.com/archives/pa_snapshot_v19.tar.gz
 PORTAUDIO_FILE=$(basename $PORTAUDIO_SOURCE)
 PORTAUDIO_DIR=portaudio
-PORTAUDIO_CONFIGURE_ARG=
+PORTAUDIO_CONFIGURE_ARG=$@
 
 if [ ! -f $PORTAUDIO_FILE ]; then
  wget $PORTAUDIO_SOURCE