micro fix on linux env setup