[Bug 997193] New: rkhunter uses wrong OS_VERSION_FILE