Check for execution correctness inside the test Fix run_external to include compileKotlinAgainstKotlin