Fix: use the correct targets on Travis-CI