Static boost problematic under Linux?