Build fix for debian 7.