Small edits for linux build