nostradamus

Speed up the compilation.