faster travis

Fix for issue #23.

We'll see how fast this goes...