Is Scan Engine 5.2.x supported on a 64-bit Redhat Linux operating system?