Make --no-extract imply --no-download and --no--verify