Fixes for Ubuntu.