- trim Makefile header, while here PR: 176206 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)