Force apt-get to update

php5-cli is apparently missing, probably due to a stale index