New debian packaging (and tuning Makefiles a bit)