Fix configure error introduced by 8eb4725