Build-script bugfix: --force-pht-update will now delete downloaded sources too (like expected)