Use SPEC_RUNTIME_LOG environment variable to specify log filename