Remove unnecessary mirror option
Merge pull request #721 from ahojnnes/travis

Remove unnecessary mirror option.