Comment 16 for bug 1300283

And since some users (e.g. comment 13) mention 4.2.3~rc3 (which as of now is only available from the PPAs) to miss the files too, I also checked the *.debs in the PPA and the libs are there on both i386 and amd64.