updated debian files for 1.4.2 release