added workaround for distributions that rename gdbar