Makefile repair for ubuntu (shell extension)