MANTA-17 gcc compiler error