v1.964

    * minor fix to dist.ini to fix github url