Fix ubuntu build try #3.