Issue #18: remove script section of Travis