Fix a dependency issue related to the way php5-odbc that uses idobc get handled when installing Virtuoso.