Fixing travis

Minor fixes that should make it work again (except for the workers feature)