Closes #478 (closed) @ondrej please review the configure stuff as I don't feel too comfortable changing it and I'm absolutely not sure if I did it right.
Closes #478 (closed) @ondrej please review the configure stuff as I don't feel too comfortable changing it and I'm absolutely not sure if I did it right.