one more ubuntu fix for error in d0771db