Bad travis script. Resolves #8