Support VxWorks

Explicit type casting
arma's vector element access: operator() -> operator []