Commit acf5f0a3aff0e128509b0979f629edf0596fcee5

Behdad Esfahbod 2019-01-30T15:10:23

[configure] Fix up