common files for selecting default trepan3k version
