Correct settings for the branch trusty (Ubuntu 14.04).