Enabling Travis-CI builds