Bug#847580: no embedded dietlibc

[Hilko Bengen]

Oops, disregard my last message, that was meant to be sent to 847575.

Cheers,
-Hilko