Really fix Linux build