small fix for debian wheezy