lssndrbarbieri@gmail.com Alessandro Barbieri whether or not to build lpconvert tool https://github.com/potassco/libpotassco/issues potassco/libpotassco