removing some unused selem declarations
Merge pull request #720 from michaelaye/patch-1

removing some unused selem declarations
Remove unnecessary mirror option
Merge pull request #721 from ahojnnes/travis

Remove unnecessary mirror option.