Add x86_64 objects to Debug SATSMARTLib