Joconde: change modules.php