Change in makefile-executable to be similar to makefile-shared