bux fixes; more travis integration