Added work around for menu problem in Ubuntu