Enable patmos-benchmarks repo by default