Reverted to make on Travis
Because no ninja-build package exists for the current version of Ubuntu.