fixing linux build for ubuntu 12.04