Fixing mini-rt generation.