updated to reflect move to own opam repo and tidying up android compiler fixes