Put back the correct back-end repository for Travis