Make sure the default file is sourced.