Don't automatically load ADTs (hackfix for #1)