Fix Module.php for Travis build