FIX: compilation on linux