(1) unhold php5-odbc before installing virtuoso, re-putting it on hold after
(2) sleep 20 secs between stopping and starting virtuoso when we check if restarting works.