I do not remember. It was when we tried it beginning of this year. You told me that it was wrong in that file and I changed it and when I now noticed the same problem when upgrading to 14.05 for that computer building Raspberry PI I thought I begtter submitt a report.