7 if [ ! -f pthsem_2.0.8.tar.gz ]
9 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
11 if [ ! -f bcusdk_0.0.5.tar.gz ]
13 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/eib/bcusdk_0.0.5.tar.gz