Restore Makefile that was deleted by mistake in commit:
3f011397a5a66b9b1c2c289c49f4ad1ecd6f21d6