Avoid need for preprocessor calls with -m64#8658

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-m64tautschnig/cbmc:no-m64Copy head branch name to clipboard