Fixes debian makefile