Fix float explorer Ubuntu build