do not search and load preludes by default