don't use float32 by default (should fix sound issues under windows)

[vlc] / loader / kludge.c

int dbg_printf(const char *format, ...)
{
        return 0;
}