Thanks a lot. So we may be able to simplify other parts of the Makefile.