migrate cool regression tests to new version of testenv.mif file
change extension from .c to .cpp