properly include casmodule.php. version 2.5.1