Fix if/then in configure for debian.