@Tibor17 Now that the Makefile is gone, this line should be removed as well, right?