Reverted to GNU RTX lib for now