Fix makefile loop (#4050)