32-bit warnings in test_circuitmux.c

Found with jenkins: