travis-ci building properly Fixes #7