add include that is required by a newer gcc version (Ubuntu 14.04)