Release version 0.13

 * And fix a make distcheck issue