Minor fix for new API (Compile menu item works again).