Small tweaks for configure script

[jeroen]

No description provided.

[codecov-commenter]

Codecov Report

Merging #56 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #56   +/-   ##
=======================================
  Coverage   93.90%   93.90%           
=======================================
  Files          33       33           
  Lines        1576     1576           
=======================================
  Hits         1480     1480           
  Misses         96       96           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 713f31a...2a6712d. Read the comment docs.

[edzer]

Thanks!