minor bug fix, changed timeout, avoid broken files
-rw-r--r-- 3263 build_setup.py
drwxr-xr-x - debian
drwxr-xr-x - debs
drwxr-xr-x - extras-devel
drwxr-xr-x - source-images
drwxr-xr-x - src