Fix for ubuntu 12.04, bis