change run-tests to build with 0.13