upgpkg: media-build-dvbsky (20130520), now they are using precompiled object files :-/