[Bug 997193] rkhunter uses wrong OS_VERSION_FILE