Fix reachability warnings in new Idris
Enable shared objects for C code