fixing build for OpenMote-CC2538