Bugfix duplicate modules.php include