Remove unused Makefile macros, and remove symbion reference (temporary certificate directory name -- might change in future).