convert_build_result() should also take numerical strings