fixed compilation error on ubuntu 13.04