Hacks to keep configuration working under 14.04. Deletes trailing whitespace.