Revise makefile for procexec/*
Merge branch 'develop'