Updated Makefile

Those changes only work with this Makefile change, which it should have
been anyway.