another fix for downloading sources