Fix linux bugs, bis