Use dofile instead of loadfile