That may be the case. Try out the other bootmenu and see if things go better if you get a chance. Maybe your feedback can help lead to a solution to fix the problem.

As an aside, I have successfully used the fanoush bootmenu in ubuntu in the past without problems. But, you never know what might have changed since then.