Fix the build and some style issues with GTK+ 3