Add binary for debian 7.5