Small fix so that code compiles on Debian 7