load-all again in main.ss to fix a server grading bug involving load order