Make hello benchmark work with OpenDylan
Make k-nucleotide benchmark work with OpenDylan