minor fix for ubuntu 12.04