Replace lucid32 by precise32 box