fix linux build, and build instructions