fixed an issue with compilation error on Ubuntu 12.04; see NEWS for details.