index_dev.php: load default "system" modules. Refs #2113