# override package version
echo "version=0.0.5" >> debian/setenv.sh
+mkdir -p Downloads
+cd Downloads
+
+if [ ! -f pthsem_2.0.8.tar.gz ]
+then
+ wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
+fi
+if [ ! -f bcusdk_0.0.5.tar.gz ]
+then
+ wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/eib/bcusdk_0.0.5.tar.gz
+fi
+