fix Debian 7 compilation