add a local file for kant