The template system doesn't work across 32/64 bit builds (SITL vs fmuv4), probably because int is typedef'd to int64