Fix linux build (#101)