hack to fix compilation problems on mav