Not needed for now (gtk3 is now in hackage)