Fix the wackamole SMF manifest.