Priority works, but not priority donation