Run binaries with debug information in the CI system