tweak memory settings for Travis CI