incorporate BBB version.php fix