fibKt benchmark bugfix