Hello, Wondering if the prebuilt binaries for Debian 6 are OK to use for Debian 7, or whether there is a Debian 7 version available that should be used. Thanks. -Dan