On 9/13/13, Sönke Ludwig <sludwig at outerproduct.org> wrote: > Both of these should work: > > libs-windows \ > "gdi32" \ > "user32" > > libs-windows "gdi32" > libs-windows "user32" Great!