#13 re-enabling running TCK