parse argv for backend in Boerni's benchmark