fix some setup issues on linux

Signed-off-by: Joshua Rubin <jrubin@zvelo.com>