Added precompiled library for NuttX