set linux build to default to 64 bit