Restore binary files for backwards compatibility

Fixes 9656ee5d1dbff9fb4e0ce640961d2750a687e629
New year's resolution: Check which systems of Ubuntu / RHEL still serve the ancient versions.
If it's only RHEL, consider removing these binary files in 2015 or so.