update for Ubuntu 13.04, using gtk3