attempt to fix ubuntu breakage