fix (harmless) error messages on make install

better avoid them to not confuse us users or devlopers :)