Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d5

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>