fixed the double ".cma.cma" library file extension
also install the ".cmx" file
it seems that people not fond of bashisms dont appreciate these kind of globs