Some tweaks to make drupal_repo_url work better.