removed debian menu stuff