Fix for debian 7.5