Is sh-elf/sim supposed to support profiling? My latest tests show all the profiling tests failing. For example, the bprob executable has the name of the gcda file in it, but doesn't attempt to write it out (verified with strace against the simulator).