removed debian menu in preference on the system one