mono build should produce debugging information