updated debian files to 1.4.2 release