Fix for making it work with CRaSH 1.3.0-beta10