fix for compile on ubuntu 12.04