Revert Travis change

It was running out of memory, causing the g++ process to be killed.