Fixing sensor ipmi Makefile issues with make dist