updated file headers for ubuntu 14.04; kernel 3.8.13