Bugfix for travis, former error message: "GC overhead limit exceeded"