The executable is currently broken with a compilation error. While we should fix that, we should also make sure that it is not allowed to break again.