musashi: fixed 64 bit linux build