renamed test config to viennamath