added php5-mcrypt to the manifest file