build for debian 7