Does anyone know, how to make this work?

The patch needed is simple: All menu items are currently rendered with 

<li class="page_item">

...but instead the active menu item has to be rendered with:

<li class="current_page_item">

the appropriate class is already there in styles.css but itheme doesn't check for active menu items to set the correct class ...