Revision d8424f2a3160eea8221026e3875c79c4b77274fb

Committed on 30/12/2015 10:28 am by Michael M. Wasser <untoldone@users.noreply.github.com> [GitHub Diff]

fixes so configure + make work