Hello, version 1.7.1 is way too old and not supported by us anymore. If you can reproduce the bug with 1.9.x please report back. Thanks Thomas Braun member of kile dev team