Travis build 80 pushed to ProGen page