Fixed the devil.cmake to take care of the not default Devil library installation