configure.ac: fix checks for para_krell