Tweaks to the makefile (Dr. Burger's instructions are confusing).