issue #56: install warning for Ubuntu/Debian folks