Ubuntu build fix