Working around dtrace provider bug