re-add old crt-lottes and rename new one to '-halation' since it's super-slow