lang/compcert: fix bytecode only builds

[Christopher Zimmermann]

Hi,

this should fix building on aarch64 and sparc64(?) OK?

Christopher


-- 
http://gmerlin.de
OpenPGP: http://gmerlin.de/christopher.pub
CB07 DA40 B0B6 571D 35E2  0DEF 87E2 92A7 13E5 DEE1

signature.asc
Description: PGP signature