FIX building on linux