Updated max-backjumps so that it finally compiles on Travis CI