Regenerated makefiles

Makefiles should always be updated