Cats getting stuck in things compilation