make install work for debian