Commit 9d789ebe0d4472874ad0d8931f9399b0a0ac55ba

Philipp Wiesemann 2015-12-29T19:14:19

Updated configure script.