I'm not sure if this is a bug. If you check
miniBB demo, it's also based on the customized index.php (minibb-test.php) and so far I can't notice any errors related to renaming of the core file.
You must just keep in mind that besides the value of
$indexphp, you should also put the same value (but without the ending question sign) under
$startIndex.
$mod_rewrite should be set to FALSE, and there should be no inclusion set of any of the mod_rewrite modules (like
addon_mod_rewrite_X.php).
Renaming is only necessary if you have index.php reserved for some other content in the forums folder. For example, on our demo we have an intro page describing what this domain is about. For other forum, there could be kind of disclaimer set or something similar.
If you have no other index.php under the forum's folder except the forum's index itself, I suppose, there is no need to rename it.