curl-config.in: do not randomly mix tabs and spaces