Fixes Travis-CI problems