Thanks
I believe that bug is PHP4 related too. That one is fixed in the mean time for next RC release.
(you can also unpublish the plugin through plugins-list)
Btw: hoster setting: PHP5+PHP4 support is not good enough, if you didn't switch the account to PHP 5....you also need to add a setting in your host account to use PHP5 as PHP4 is still default setting of your hoster...Your hoster should tell you how to make your website run on PHP5 instead of PHP4....