fix up linux setup