Debian: update 6.0.8 to 6.0.9
Debian: update 7.3.0 to 7.4.0
Ubuntu: update 12.04.3 to 12.04.4