Fix a bug with making a release build