Commit 2a5fab63eefc8b42c788592ee89231b7f6e3103d

Philipp Wiesemann 2016-11-19T23:27:51

Updated configure script.