configure: fix an error introduced in the previous patch