Belatedly add config file for 14.04