update to 0.13 so it can compile on travis