Fix for compilation on ubuntu 12.04