Makefile: get rid of archheaders
 Makefile: get rid of archheaders #2