renamed test config to viennafvm