updates after upgrading prelude - customizations no longer needed