Implemented Travis build via pinning