using  instead of /ifs/home/sebastian in nosetests-DEBs.sh and nosetests-RPMs.sh