Makefile.proceed updated