Added precompiled libraries for NuttX