diff --git a/install-remote.sh b/install-remote.sh
new file mode 100755
index 0000000000000000000000000000000000000000..a08b2df190bae9d1670aa89dad5134c6250a301b
--- /dev/null
+++ b/install-remote.sh
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+
+# install everything on a remote machine
+
+[ -e FaCT++ ] || wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++
+
+files=(
+    coalg
+    coalgcompare
+    FaCT++
+    fact.conf
+)
+#    $(ldd $(which FaCT++) | cut -d' ' -f3)
+#    $(ldd coalg        | cut -d' ' -f3)
+#    $(ldd coalgcompare | cut -d' ' -f3)
+
+echo "==> sending files:"
+printf ":: %s\n" "${files[@]}"
+
+rsync --copy-links -rv "${files[@]}" "$1:/${2:-/var/tmp/re06huxa/}"