fix github pathnames